An Analysis of ( Linear ) Exponentials Based on
نویسندگان
چکیده
We apply the 2-sequents approach to the analysis of several calculi derived from linear logic. We present a uniform formal system for Linear Logic, Elementary Linear Logic and Light Linear Logic. In particular, the 2-sequent approach simpliies the syntax of Light and Elementary Linear Logic.
منابع مشابه
An Analysis of (Linear) Exponentials Based on Extended Sequents
We apply the sequents approach to the analysis of several logics derived from linear logic In particular we present a uniform formal system for Linear Logic Elementary Linear Logic and Light Linear Logic
متن کاملFrom Linear Proofs to Direct Logic with Exponentials
Following the idea of Linear Proofs presented in 4] we introduce the Direct Logic 14] with exponentials (DLE). The logic combines Direct Logic with the exponentials of Linear Logic. For a well-chosen subclass of formulas of this logic we provide a matrix-characterization which can be used as a foundation for proof-search methods based on the connection calculus.
متن کاملLinear Logic Properly Displayed
We introduce proper display calculi for intuitionistic, bi-intuitionistic and classical linear logics with exponentials, which are sound, complete, conservative, and enjoy cut-elimination and subformula property. Based on the same design, we introduce a variant of Lambek calculus with exponentials, aimed at capturing the controlled application of exchange and associativity. Properness (i.e. clo...
متن کاملar X iv : m at h / 06 04 08 7 v 1 [ m at h . FA ] 4 A pr 2 00 6 HARMONIC ANALYSIS OF FRACTAL MEASURES Palle
b∈B μ ◦σ b . There are two a priori candidates for an associated orthogonal harmonic analysis : (i) the existence of some subset Λ in R such that the exponentials {e}λ∈Λ form an orthogonal basis for L (μ); and (ii) the existence of a certain dual pair of representations of the C-algebra ON where N is the cardinality of the set B. (For each N , the C-algebra ON is known to be simple; it is also ...
متن کاملNonlinear approximation by sums of nonincreasing exponentials
Many applications in electrical engineering, signal processing, and mathematical physics lead to following approximation problem: Let h be a short linear combination of nonincreasing exponentials with complex exponents. Determine all exponents, all coefficients, and the number of summands from finitely many equispaced sampled data of h. This is a nonlinear inverse problem. This paper is an exte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998